ДРОБНАЯ КОНГРУЭНЦИЯ

- конгруэнция h/q факторсистемы А/q, определяемая формулой

где h.- некоторая конгруэнция алгебраической системы А, содержащая данную конгруэнцию q, и [а]_q ={}. Факторсистема ( А/q)/(h/q). изоморфна системе А/h.

Д. М. Смирнов.